derivative of cotanx